Uses of Class
edu.uky.ai.lp.logic.Disjunction
| Package | Description |
|---|---|
| edu.uky.ai.lp.logic |
Contains classes for representing logical formulas in function-free
predicate logic, unifiers, and knowledge bases.
|
-
Uses of Disjunction in edu.uky.ai.lp.logic
Methods in edu.uky.ai.lp.logic that return Disjunction Modifier and Type Method Description DisjunctionDisjunction. substitute(Unifier unifier)